Adjust efi_distributor for some distributions
authorColin Watson <cjwatson@ubuntu.com>
Mon, 13 Jan 2014 12:13:27 +0000 (12:13 +0000)
committerFelix Zielcke <fzielcke@z-51.de>
Thu, 3 Jul 2025 16:35:51 +0000 (18:35 +0200)
commitdbc9c8f8f7ca0ee35a4c83e12fc4438f8e28ac65
tree4e04cf28c31d040d5a269b316a49775df81225c9
parent0f071f8c92e4c6e3f128417b7539c0c9382e22a7
Adjust efi_distributor for some distributions

This is not a very good approach, and certainly not sanely upstreamable;
we probably need to split GRUB_DISTRIBUTOR into a couple of different
variables.

Bug-Ubuntu: https://bugs.launchpad.net/bugs/1242417
Bug-Debian: https://bugs.debian.org/932966
Forwarded: not-needed
Last-Update: 2019-08-06

Patch-Name: install-efi-adjust-distributor.patch

Gbp-Pq: Name install-efi-adjust-distributor.patch
util/grub-install.c